<?php
session_start();
$_SESSION["user"] = null;
Header("location:test_7_article_list.php");
?>